1. Logicism, intuitionism, and formalism
پدیدآورنده : edited by Sten Lindström ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Intuitionistic mathematics,Mathematics-- Philosophy-- History
رده :
QA8
.
4eb
2. Logicism, intuitionism, and formalism : what has become of them?
پدیدآورنده : edited by Sten Lindstrom ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics,Philosophy -- History ، Mathematics
رده :
QA
8
.
4
.
L634
3. Logicism, intuitionism, and formalism: what has become of them?
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Intuitionistic mathematics,Philosophy History ، Mathematics
رده :
QA
8
.
4
.
L635
2009
